CoSMo: a Framework for Implementing Conditioned Process Simulation Models

Process simulation is an analysis tool in process mining that allows users to measure the impact of changes, prevent losses, and update the process without risks or costs. In the literature, several process simulation techniques are available and they are usually built upon process models discovered from a given event log or learned via deep learning. Each group of approaches has its own strengths and limitations. The former is usually restricted to the control-flow but it is more interpretable, whereas the latter is not interpretable by nature but has a greater generalization capability on large event logs. Despite the great performance achieved by deep learning approaches, they are still not suitable to be applied to real scenarios and generate value for users. This issue is mainly due to fact their stochasticity is hard to control. To address this problem, we propose the CoSMo framework for implementing process simulation models fully based on deep learning. This framework enables simulating event logs that satisfy a constraint by conditioning the learning phase of a deep neural network. Throughout experiments, the simulation is validated from both control-flow and data-flow perspectives, demonstrating the proposed framework's capability of simulating cases while satisfying imposed conditions

Avifauna da área de relevante interesse ecológico Floresta da Cicuta, Rio de Janeiro, Brasil

A Mata Atlântica é um dos biomas de maior biodiversidade do planeta, apresentando cerca de 890 espécies de aves e um dos maiores níveis de endemismo do Brasil. Atualmente, é um dos biomas brasileiros que mais sofre com a fragmentação e perda de hábitats. A Área de Relevante Interesse Ecológico (ARIE) Floresta da Cicuta, uma Unidade de Conservação Federal localizada entre os municípios de Barra Mansa e Volta Redonda, estado do Rio de Janeiro, possui 131 ha de Mata Atlântica do tipo floresta estacional semidecidual. O presente estudo se propôs a realizar o levantamento da riqueza e composição de espécies da avifauna, e analisar a qualidade ambiental da ARIE Floresta da Cicuta. Foram realizadas observações, durante 14 meses, por meio de pontos fixos (15 pontos, distantes 200m cada, duração de 20 minutos em cada ponto), no período da manhã. Foram registradas 216 espécies, distribuídas em 20 ordens e 49 famílias. Passeriformes foi a ordem com maior riqueza de espécies e as famílias mais representativas foram Tyrannidae e Thraupidae. Em relação a dieta, houve predomínio de espécies insetívoras (40%) e onívoras (27%). Foram registradas 36 espécies endêmicas da Mata Atlântica, uma espécie globalmente ameaçada (Amazona rhodocoryta) e quatro globalmente quase ameaçadas (Dysithamnus stictothorax, Hemitriccus orbitatus, Piculus aurulentus e Primolius maracana), além de duas espécies ameaçadas no estado do Rio de Janeiro (Cyanoloxia brissoni e Anhinga anhinga). A ocorrência de espécies ameaçadas e o considerável número de espécies endêmicas demonstram que a ARIE Floresta da Cicuta é uma importante área para a conservação da avifauna na Mata Atlântica

Provisão para créditos de liquidação duvidosa: uma análise dos prejuízos nas carteiras dos bancos de 2002 a 2012

provisão para créditos de liquidação duvidosa (PCLD), representa uma estimativa de perda provável dos créditos concedidos. Dessa forma, os bancos e demais instituições financeiras apresentam características específicas na composição de sua carteira de crédito, que obrigam à esse tipo de empresa a adoção de procedimentos diferenciados em relação aos praticados pelos demais setores (comerciais, indústria ou de prestação de serviços), esta é regulamentada pela Resolução do Conselho Monetário Nacional de n° 2.682 de 21 de dez de 1999. Assim, são determinados percentuais, prazos, níveis mínimos de classificação e também como deve ser feita essa mesma classificação do risco da operação. O trabalho teve como objetivo verificar o comportamento do prejuízo das 10 (dez) maiores instituições financeiras, classificadas pelo ativo total, que atuam no SFN em observação às regras estabelecidas na Resolução CMN nº. 2.682/99, aprofundando-se a análise sobre as 05 (cinco) maiores. Assim, comparou-se de forma geral as 10 (dez) maiores instituições financeiras do Sistema Financeiro Nacional e a evolução das carteiras de crédito no intervalo de 2002 até 2012, aprofundando-se a análise para as 5 (cinco) maiores classificadas pelo tamanho de sua carteira. Também foram pesquisadas outras informações que seriam relevantes à PCLD, como por exemplo, o valor recuperado do baixado como prejuízo em exercícios anteriores. Verificou-se que o volume de provisão tende a ser superior aos prejuízos nas carteiras das instituições analisadas e um crescimento elevado no seu volume a partir de 2008, decorrente, principalmente, do aumento do crédito evidenciado. Ainda, Itaú, Bradesco e Santander são as instituições que apresentam o maior índice de cobertura da provisão em 2012

Artificial and Natural Topic Detection in Online Social Networks

Online Social Networks (OSNs), such as Twitter, offer attractive means of social interactions and communications, but also raise privacy and security issues. The OSNs provide valuable information to marketing and competitiveness based on users posts and opinions stored inside a huge volume of data from several themes, topics, and subjects. In order to mining the topics discussed on an OSN we present a novel application of Louvain method for TopicModeling based on communities detection in graphs by modularity. The proposed approach succeeded in finding topics in five different datasets composed of textual content from Twitter and Youtube. Another important contribution achieved was about the presence of texts posted by spammers. In this case, a particular behavior observed by graph community architecture (density and degree) allows the indication of a topic strength and the classification of it as natural or artificial. The later created by the spammers on OSNs

A max-flow approach to improved lower bounds for quadratic unconstrained binary optimization (QUBO)

AbstractThe “roof dual” of a QUBO (Quadratic Unconstrained Binary Optimization) problem has been introduced in [P.L. Hammer, P. Hansen, B. Simeone, Roof duality, complementation and persistency in quadratic 0–1 optimization, Mathematical Programming 28 (1984) 121–155]; it provides a bound to the optimum value, along with a polynomial test of the sharpness of this bound, and (due to a “persistency” result) it also determines the values of some of the variables at the optimum. In this paper we provide a graph-theoretic approach to provide bounds, which includes as a special case the roof dual bound, and show that these bounds can be computed in O(n3) time by using network flow techniques. We also obtain a decomposition theorem for quadratic pseudo-Boolean functions, improving the persistency result of [P.L. Hammer, P. Hansen, B. Simeone, Roof duality, complementation and persistency in quadratic 0–1 optimization, Mathematical Programming 28 (1984) 121–155]. Finally, we show that the proposed bounds (including roof duality) can be applied in an iterated way to obtain significantly better bounds. Computational experiments on problems up to thousands of variables are presented

Rádio Escolar: Uma ação multidisciplinar com Arte e Engenharia

Trabalho apresentado no 31º SEURS - Seminário de Extensão Universitária da Região Sul, realizado em Florianópolis, SC, no período de 04 a 07 de agosto de 2013 - Universidade Federal de Santa Catarina.rádio escolar, experiências multidisciplinares, artes visuais, engenharia eletrônicainterativos, e na invenção de metodologias que entrelaçam diferentes saberes. Um dos dispositivos criados pelo grupo foi um projetor interativo ligado à uma bicicleta cujos movimentos cinéticos das pedaladas eram transformados em energia elétrica para acionamento do projetor de imagens. Este dispositivo já participou de exposições promovidas por estudantes e por professors da UFPel. O grupo também criou amplificadores de áudio para instalação de uma rádio em uma Escola Estadual de Ensino Fundamental em Pelotas. A rádio já foi instalada e será usada para aproximar estudantes.ntes, professores e pais da comunidade além de servir como instrumento de propagação dos conhecimentos. Desta forma, este projeto contribui não só para aproximar a universidade e a comunidade como também para ampliar as perspectivas de trabalho em equipe e de integração de conhecimentos dos artistas com os engenheiros, através da realização de obras conjuntas

A Bird’s Eye View on the Origin of Aortic Hemogenic Endothelial Cells

FUNDING This work was supported by the FCT – Fundação para a Ciência e a Tecnologia, I.P. (PTDC/BTM-SAL/29377/2017) and iNOVA4Health (UID/Multi/04462/2019). The Advanced Imaging Facility of the Instituto Gulbenkian de Ciência was supported by national Portuguese funding co-financed by the Lisboa Regional Operational Programme (Lisboa 2020), under the Portugal 2020 Partnership Agreement, through the European Regional Development Fund (FEDER) and FCT (PPBI-POCI-01- 0145-FEDER-022122). AT was funded by the FCT in the context of a program contract under “Norma Transitória” (DL57/2016 of 29 August, as amended by DL57/2017 of 19 July).During early embryogenesis, the hemogenic endothelium of the developing dorsal aorta is the main source of definitive hematopoietic stem cells (HSCs), which will generate all blood cell lineages of the adult organism. The hemogenic endothelial cells (HECs) of the dorsal aorta are known to arise from the splanchnic lateral plate mesoderm. However, the specific cell lineages and developmental paths that give rise to aortic HECs are still unclear. Over the past half a century, the scientific debate on the origin of aortic HECs and HSCs has largely focused on two potential and apparently alternative birthplaces, the extraembryonic yolk sac blood islands and the intraembryonic splanchnic mesoderm. However, as we argue, both yolk sac blood islands and aortic HECs may have a common hemangioblastic origin. Further insight into aortic HEC development is being gained from fate-mapping studies that address the identity of progenitor cell lineages, rather than their physical location within the developing embryo. In this perspective article, we discuss the current knowledge on the origin of aortic HECs with a particular focus on the evidence provided by studies in the avian embryo, a model that pioneered the field of developmental hematopoiesis.publishersversionpublishe

Marketing internacional: estudo do potencial de mercado do Reino Unido para a empresa gráfica ideal

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos de obtenção do grau de Mestre em Ciências EmpresariaisA identificação da melhor estratégia de internacionalização e o conhecimento do mercado alvo poderá significar o caminho para enfrentar a nova conjuntura global em que as empresas se encontram. O presente trabalho tem como objectivo analisar o potencial de mercado do Reino Unido para a expansão internacional da Gráfica Ideal a fim de identificar a melhor estratégica para fazer crescer o seu negócio. Neste contexto, após uma análise teórica sobre o processo de internacionalização de uma empresa, estudou-se a estrutura, evolução e dimensão do principal mercado alvo da Gráfica Ideal, especialmente direccionado a embalagens alimentares que representa actualmente 90% do seu volume de facturação. Para desenvolver este tema foram estabelecidos contactos com empresas distribuidoras de embalagens alimentares com elevada experiência/conhecimento local e reputação no Reino, nomeadamente, a GM Packaging, Greenearth Food Packaging, WK Thomas e TK Packaging. Os métodos utilizados foram obtidos a partir de uma análise crítica das concepções teóricas e práticas sobre o assunto, através da análise e visitas aos potenciais clientes. Permitiu chegar a elaborações de propostas reais que actualmente estão em negociações.The identification of the best internationalization strategy and the knowledge of the target market could mean the way for the European companies to face the currently global situation. The target of this work is to analyse the UK market potential and to identify the best commercial strategy in order to expand/grow the Gráfica Ideal business to international market. In this way, after a theoretical analysis about internationalization company process, we have studied the structure, evolution and dimension of the target market in respect of Gráfica Ideal, focus on food packaging that means 90% turnover. Following the literature review, we have done a serious market research in UK, so we have contacted the most reputation/experience local companies regarding to Food Packaging Distributors, such as: GM Packaging, Greenearth Food Packaging, WK Thomas e TK Packaging. The methods used were obtained from a critical analysis of theoretical and practical concepts about the subject, through analysis and visits to potential clients. At least allow us to present real proposals and currently still in negotiation

Express: otimizando o uso do MDArte

Conforme o hardware evolui, sistemas cada mais complexos são feitos, requerendo práticas mais avançadas de Engenharia de Software para geri-los e mantêlos. Uma importantíssima ferramenta, que surge como uma das tendências futuras nessa área, é o MDA, o processo de desenvolvimento de sistemas apoiado nos diagramas de especificação do sistema. Como veremos, ao mesmo tempo que as vantagens do MDA só se tornam mais claras no desenvolvimento de sistemas de grande porte, um grande custo computacional sobrecarrega diferentes etapas, e é de suma importância para o sucesso dessa arquitetura e a evolução da Engenharia de Software uma forma de otimizar o MDA e reduzir seus custos de adocão